Automatic Computation of a Linear Interval Enclosure
نویسنده
چکیده
Recently, an alternative interval approximation F X ( ) for enclosing a factorable function f(x) in a given box X has been suggested. The enclosure is in the form of an affine interval function F X a X B i i i n ( ) = + ∑ =1 where only the additive term B is an interval, the coefficients ai being real numbers. The approximation is applicable to continuously differentiable, continuous and even discontinuous functions. In this paper, a new algorithm for determining the coefficients ai and the interval B of F(X) is proposed. It is based on the introduction of a specific generalized representation of intervals which permits the computation of the enclosure considered to be fully automated.
منابع مشابه
Optimal Interval Enclosures for Fractionally-linear Functions, and Their Aplication to Intelligent Control
One of the main problems of interval computations is, given a function f(x 1 problem is feasible for linear functions f, but for generic polynomials, it is known to be computationally intractable. Because of that, traditional interval techniques usually compute the enclosure of y, i.e., an interval that contains y. The closer this enclosure to y, the better. It is desirable to describe cases in...
متن کاملDirect Sparse Interval Hull Computations for Thin Non-M-Matrices
The computation of an enclosure for the solution of a sparse set of linear equations Ax = b with a thin matrix A and an interval right hand side b is considered. Gaussian elimination works well when the matrix is an M-matrix, but fails when the matrix is a general matrix. This paper illustrates how, for sparse matrices, an ordering intended to reduce the height of the elimination tree (and thus...
متن کاملComputer Methods for Design Automation
Design automation requires reliable methods for solving the equations describing the performance of the engineering system. While progress has been made to provide good algorithms for polynomial systems, we propose new techniques for the solution of general nonlinear algebraic systems. Moreover, the interval arithmetic approach we have chosen also guarantees numerical reliability. In this thesi...
متن کاملA lower bound for range enclosure in interval arithmetic
Including the range of a rational function over an interval is an important problem in numerical computation. A direct interval arithmetic evaluation of a formula for the function yields in general a superset with an error linear in the width of the interval. Special formulas like the centered forms yield a better approximation with a quadratic error. Alefeld posed the question whether in gener...
متن کاملInner and Outer Bounds for the Solution Set of Parametric Linear Systems
Consider linear systems involving affine-linear dependencies on interval parameters. Presented is a free C-XSC software implementing a generalized parametric fixed-point iteration method for verified enclosure of the parametric solution set. Some specific features of the corresponding algorithm concerning sharp enclosure of the contracting matrix and inner approximation of the solution enclosur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Reliable Computing
دوره 7 شماره
صفحات -
تاریخ انتشار 2001